Premises as Resources Johannes C. Flieger Scheme UK April 2003 Abstract Premises as resources; Weakening and Contraction; central notions

Source URL: schematics.sourceforge.net

• Logic
• Mathematical logic
• Proof theory
• Abstraction
• Non-classical logic
• Sequent
• NC
• Linear logic
• Constructible universe
• CurryHoward correspondence
• Natural deduction

Semantics for a fragment of LOTOS with functional data and abstract datatypes Alan Jeffrey, University of Sussex Input document of ISO/IEC JTC1/SC21/WG7 ‘Enhancements to LOTOS’ Li`ege meeting, December 19

Source URL: ect.bell-labs.com

• Logic in computer science
• Programming language semantics
• Type theory
• Logic programming
• Automated theorem proving
• Operational semantics
• Substitution
• Syntax
• Type system
• Semantics
• C++ classes
• Monad

AN Ω-LOGIC PRIMER JOAN BAGARIA, NEUS CASTELLS, AND PAUL LARSON Abstract. In [12], Hugh Woodin introduced Ω-logic, an approach to truth in the universe of sets inspired by recent work in large cardinals. Expository ac

Source URL: www.users.miamioh.edu

Semantics for core Concurrent ML using computation types Alan Jeffrey Abstract This paper presents two typed higher-order concurrent functional programming languages, based on Reppy’s Concurrent ML. The first is a simp

Source URL: ect.bell-labs.com

• Theoretical computer science
• Logic in computer science
• Software engineering
• Formal methods
• Programming language semantics
• Models of computation
• Operational semantics
• Semantics
• Bisimulation
• Process calculus
• Programming language
• Transition system

Expressive Power and Abstraction in Essence David G. Mitchell and Eugenia Ternovska Computational Logic Laboratory Simon Fraser University {mitchell,ter}@cs.sfu.ca Abstract

Source URL: www.crt.umontreal.ca

Escaping Local Minima in Logic Synthesis Eugene Goldberg (Cadence Berkeley Labs) Abstract. In this paper, we continue studying Logic Synthesis Preserving Specification (LSPS). Given a combinational circuit N and its part

Source URL: eigold.tripod.com

Inductive Fixpoints in Higher Order Logic Sava Krsti´c OGI School of Science and Engineering Oregon Health and Sciences University Abstract

Source URL: www.csee.ogi.edu

AMORTISED RESOURCE ANALYSIS WITH SEPARATION LOGIC ROBERT ATKEY University of Strathclyde, UK e-mail address: Abstract. Type-based amortised resource analysis following Hofmann and Jost—wh

Source URL: bentnib.org

Quati: From Linear Logic Specifications to Inference Rules (Extended Abstract) Vivek Nigam & Leonardo Lima Universidade Federal da Paraíba, Brazil & Giselle Reis

Source URL: www.nigam.info